There might be a few that find this post boring, because, you know - its maths.
I like maths but Im not a mathematician or condsider myself any type of expert on the subject.
There is a branch of maths called Propositional Logic that is used widely in computers and computer programming that allows computers to make decisions based on certain conditions.
For example: IF a condition exists, THEN do something.
LIke: IF the A button is pressed, THEN the letter A will appear on the screen. Or, IF x = 1, THEN DO something else.
We use propositional logic intuitively in our everyday lives. IF it is NOT raining AND IF it is 4PM, THEN I will go for a walk.
The really intersting thing about this type of maths is that we can take an everyday statement and turn it into a measurable maths problem to determine if it is a true or false statement by using truth tables.
One type of statement is called a Universal Statement, these types are always true in every instance. It doesnt matter what proof you have, these statements will always be true. In order to prove that a Universal Statement is actually false, you only have to provide a single contradiction.
For example, if I say that 'every time I play golf - it rains', I have just made a Universal Statement. If someone plays golf with me and it does not rain - just once, the statement I made cannot be true.
Apologies for this back story about propositional logic but I thought it might be interesting to apply it to the bible.
There are a lot of Universal Statements about God. Heres one: God cannot lie.
So, using propostional logic, we could write this as: IF God cannot lie, AND IF the bible is Gods word, THEN the bible cannot contain any factual errors.
Now, all we have to do is find just one single comment in the bible that is not true and we have just proved that the Universal Statement, 'God cannot lie' is false.
Gen 1:11: God creates vegetation on day 3. The sun isnt created until day 4. This statement, taken at face value cannot be true. That sounds like a contradiction to me.